Large Group U.s. Proof Sets