In The Tunnel 2

In the tunnel 2

An abstract interpretation of the speed in a tunnel