The solid blue part of the curve has been lifted already. We now
want to lift the next short section, which is shown on the left
in red. This is easy, because the short section is contained in
an open set over which the covering is trivial. All possible
lifts are shown on the right in red. Only one of them connects
with the lifting that we have done already.