PP writes .nonEmpty. There's plenty in this code that PPwouldn'tD though.