Source: https://www.cs.tau.ac.il/~nogaa/PDFS/witness1.pdf