Title: Proof and consequences
First published: 1991