. "The severance pay and other benefits payable to an Executive after a Change in" . . .