Title: Modelling Puzzles in First Order Logic