Some progress with lem-normNCmpPreservesEval.