Formulae: Reasoning and Problem Solving