mutable cond = c