Puzzles solved by Juan C. Avila