Puzzles solved by AISH