chosenProofs