Traffic engineers have increased the capacity of the Krakkenbak Bridge to handle rush-hour traffic flow.
The resultant increase ~ICM → ↑~TF in rush-hour traffic flow would not have occurred had the city not invested in computer modeling technology last year.
The city's financial ↑~TF → ~RFP predicament would not have been resolved if the traffic flow across the bridge during rush hour had not been increased.