Hourglass Puzzles: Meditative Temporal Logic Games