1 files changed, 10 insertions, 0 deletions

diff --git a/bank-eiffel/retireeaccount.e b/bank-eiffel/retireeaccount.e
index 3f56fd4..cf9bc91 100644
--- a/bank-eiffel/retireeaccount.e
+++ b/bank-eiffel/retireeaccount.e
@@ -10,6 +10,16 @@ class
 inherit
         ACCOUNT
 
+create
+        make
+
 invariant
         authorized_signers_only_one: authorized_signers.count = 1
+        authorized_signers_attached: authorized_signers.linear_representation /= Void
+        authorized_signers_only_retirees:
+                (attached authorized_signers.linear_representation as signers) implies signers.for_all(
+                        agent (person: PERSON): BOOLEAN
+                                do
+                                        Result := attached {RETIREE} person
+                                end)
 end