cond: ... -> ? ...