Oblig 2

Mandatory 2 is now published here.

O2.1 has a question about first order resolution which will be explained next week.  You can simply start on the other questions and leave that one until next week.

Note that the deadline for Oblig 1 has been extended by 2 days until Friday evening.