Third. Then it must be true.