Module Map.Finished_or_unfinishedSource
Maps Continue to Finished and Stop to Unfinished.
Maps Finished to Continue and Unfinished to Stop.
Map.Finished_or_unfinishedSourceMaps Continue to Finished and Stop to Unfinished.
Maps Finished to Continue and Unfinished to Stop.