A self-evident proposition requires that its denial is self-contradictory.