[See book for notes.]