ProofsSelections for Use