let
finished (jumping: jumping) : bool =
jumping.guiding_paths == []