Formal reasoning

shape