Remix.run Logo
matherial 41 minutes ago

So how many conjectures have you proved in your spare time?...

As the old joke goes, a mechanic charges you $5 for hitting it with a wrench and $495 for knowing what and where to hit.