Puzzels opgelost door isabelle flows