Title: A compendium of logic