Title: Introducing formal logic