#1Tales of The HOLby MC9523Hello, MC here. Here's some fun stories from the HOL (and other stuff but shhh)chaostheoriesobeyme+2 more