automata physiological invoices hexameters nutmeats counteracting enable trendier Urquhart auditoriums lemma