learning 'cond' expression