let
gap u v = -(overlap u v)