isn't the point of math to make the vibes rigorous?
@enkiv2 Vibes are the nouminous and proofs are nomological!
a Schelling point for those who seek one
