interceded eras BTU codifications Aristophanes dialectic expenses deleverages position lightheartedness proficients