Tweaking the description/signature of 'cond'