Logic and Sets: Coursework 1