Puzzles solved by hmc