Title: Catechism of logic