"iFACTS, based on Trajectory Prediction and Medium Term Conflict Detection, provides decision-making support and helps controllers manage their routine workload, increasing the amount of traffic they can comfortably handle, " trumpets the Nats website.
Absent Soviet agreement to such a ban (like the one that ultimately emerged in the INF Treaty with respect to medium-range ballistic missiles), any reductions agreed to in START could be readily circumvented without detection.