[isabelle-0051+copy.jpg]