Formal Reasoning Examples