cond->case
cond->cases in examples
examples cond->case