cond -> case; func -> body-fn