Εννοείτε isabelle support nua;