an annuity payable for the life of the participant with a survivor annuity for the life of the spouse in an amount which is not less than one-half of the amount payable to the participant during his or her lifetime

an annuity that commences immediately