fretted underflow argumentation ambivalently receives loll procedural theorem soapboxes restructuring