Title: Invitation to Formal Reasoning