Projection of future events scenario, where an institution is used to assist in SA reasoning. In this version, no institution is active, so the vehicle arrives at the lights when they are red.