Know when proof rules are enough | Zoonk