No need to default this to an empty `proc` if we make the change below.