tidy up bounded quantification text
automatED for the people