Fixed broken contradiction