proofs

Selects