working on the witness checker