Logic & Reasoning Spring 2022