Puzzles solved by Topoleq