Make debugging exciting

[kg583]

Lemma: Code makes me excited. Proof:

print("Hello world")!!!

Lemma: Debugging is code. Proof:

print("Hello world")?

Theorem: Debugging makes me excited. Proof: See previous lemmas.

Corollary: Where are my interrobangs‽‽‽‽‽‽ Proof:

print("Hello world")‽‽‽

Please‽‽‽‽ Interrobang‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽

[mitiko]

Wait, we can do formal proofs in DreamBerd?!