S> TemporalDEX(1)+9