Discussion about Isabelle18