Formal Conditional Reasoning