Title: Reasoning and Formal Logic