Proof methods for algebra | Zoonk