First contradiction