Intermediate Logic: Teacher Edition