If this was reddit, someone would take your pseudo-math prose and come up with a formal system in Coq. But the highest ranked comment would be about a cat with

If this was reddit, someone would take your pseudo-math prose and come up with a formal system in Coq. But the highest ranked comment would be about a cat with proper table manners.