Puzzles solved by Hefalek