A verification step for the marker i will only be successful, however, if the lower half of the last node on the current fringe is marked with i.
the current fringe can at least provide a necessary condition for filtering out obviously useless verification operations.