It is argued that sequence-of-tenses rules are pragmatic rules which select underlying embedded tenses, so that every instance of an embedded tense must be pragmatically motivated and that true optionality and arbitrary gaps in the system cannot exist.