Modal, counterfactual, and normative reasoning | Zoonk