experiment with bib
Store the witness in the env