feat(/examples): Added (conditional) proof of Hurkens paradox.