Companion To Lemmon's Beginning Logic