Protected: Spring 2019, Introduction to Logic