This paragraph probably belongs up near line 12 as a description of what "leave" is.