rewrite cond hygienic.