W. J. V. Osterhout, half length, formal.