Utah Code Ann. § 49-13-402
(1)
(2) The Option One benefit is an allowance calculated as follows:
(c)
(3) The allowance payable under Options Two, Three, Four, Five, and Six is calculated by reducing an Option One benefit based on actuarial computations to provide the following:
(d) Option Five is a modification of Option Three so that if the lawful spouse at the time of retirement predeceases the retiree, an allowance equivalent to the amount payable at the time of initial retirement under Option One shall be paid to the retiree for the remainder of the retiree's life, beginning on the first day of the month:
(e) Option Six is a modification of Option Four so that if the lawful spouse at the time of retirement predeceases the retiree, an allowance equivalent to the amount payable at the time of initial retirement under Option One shall be paid to the retiree for the remainder of the retiree's life, beginning on the first day of the month:
(4)
(a)
(5)