Producing four witnesses