Puzzles solved by Juan C. Miranda