added gabe paper with example of Bove-Capretta proof