...So 100 comments later the damn problem just won’t stay solved? Gee, that’s why you have to formalize things: so you can point to the formal result and say done.
...So 100 comments later the damn problem just won’t stay solved? Gee, that’s why you have to formalize things: so you can point to the formal result and say done.