defined only if Cond is true