Puzzles solved by Mayulis