Transitions unique in full witnesses.