i mean how many bits can you even hide in a human-understandable theorem?
a Schelling point for those who seek one
