Producing two witnesses