Gravar-mail: Reasoning with deontic and counterfactual conditionals