If something is true, then it cannot be false