rewrite "cond" in hygienic , imperfect.