Puzzles solved by isabelle flows