Group Of Various Us Proof Sets