Puzzles solved by stm