Puzzles solved by Juan Avila