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

class
	STUDENTACCOUNT

inherit
	ACCOUNT

invariant
	authorized_signers_only_one: authorized_signers.count = 1
end