20. Except where the contributor dies, if the contributor ceases to hold employment with his employer before all the payments have been made in accordance with section 19, he shall be credited with the period of service that he chose to redeem and the balance of the redemption cost shall be recovered out of any sum payable to him under this plan.