See [optional.comp.with.t].