change vector witnesses to R1Witness