re: #86 b_sharp

What class are you taking?

Mathematical Foundations of Computing. There’s supposed to be a lot of proofs.

I hate proofs.