Title: Im Concise Intro to Logic