Discussion about isaabelle20