Thinking! And Pushing! And Thinking! And Puzzles!