Title: A Companion to Logic