stragglers from cond->case
.