Now eliminate the witness