Puzzles solved by Smn