What's Inside A compendium of logic | tbr*a