Solving mathematical puzzles: A deep reasoning challenge. Position Paper