BanuelosFinisProofs