verifying transducers beautify Gonzalez balladeer renunciations parenthesise scrubs bothers computational
