https://redwanadb.com/2011/05/18/contradiction-to-self-part-1/