Utah Code Ann. § 49-12-402
(1)
(2) The Option One benefit is an annual allowance calculated as follows:
(a) If the retiree is at least 65 years of age or has accrued at least 30 years of service credit, the allowance is:
(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)