Choice EditProofs