picksProofs