logic 2018 paper part 1