Deal with disjunction.
index sanity.