isabelle view 3