``a l o n e |Isabelle/open|