For if the order of time is a complete linear order with discrete stretches and dense stretches, then the given sentence will vary in truth value; but if in addition there is no beginning or end of time, and if there are no atomic sentences that vary in truth value, then no sentences that vary in truth value can be built up by means of truth functional connectives, and.