Discussion about Isabelle G