fixed case of witness 0 in straightforward impl.