sorrying a set of goals

Stream: general

[Kevin Buzzard]

I just typed convert rfl and now I have five goals. Can I have a relatively short one-liner which enables me to close all of the goals other than the second one with sorry?