HW1 - Logic Tests