Implements cond