Provisional completion of post on recursive stable set removal.
Completed post on recursive independent set removal.