more rewrite of nonmut/phase results