Scrub a dub-dub February 23, 2020 Tobias Baskin An account of scrubbing the sections, and of sputtering.