rules for proofs 1767278

Loading…