1982 1985 Proof Sets Without Boxes