Isabelle phrase