Isabelle 6.13.17