A WRS benefit paid to a member , beneficiary , or alternate payee in one lump sum.