decided to switch over to disjunction, and also actually collect up decode errors properly (i think)