Intro to Logically and what we'll be talking about!