Formal Reasoning [pdf]

• October 26, 2025