[isabelle-0107+copy.jpg]