Logic, sets, and proof | Zoonk