implement (cond ...)