First Magic Trick Isabelle