Puzzles solved by dfSDf