Comments by Isabelle Leyting