note
	description: "Summary description for {RETIREEACCOUNT}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	RETIREEACCOUNT

inherit
	ACCOUNT

invariant
	authorized_signers_only_one: authorized_signers.count = 1
end