Formal reasoning