SelectsProofs (full-res)