1987 1989 Proof Sets Without Boxes & Coa