Generalize proofs in the goal, naming them with the provided list.