Prove statements with quantifiers | Zoonk