isabelle-simon: the best of ness: [2/?]