quantifybot Replaces a's and e's with universal/existential quantifier symbols. Also hidden feature???//??/?