Tag: how to develop the witness state