It can be correctly fine to jot down "that that" or to easily produce "that": your option, your type, your need in the intervening time.three It seems odd to me that "used she to come back listed here?" is marked as official (old-fashioned and awkward I agree with). The "used to" construction registers with me as remaining basically informal. In a