4 ms·

I've noticed that when I ascend (descend?) into the land of proofs, I get annoyed with fuzzy imprecise human matters.