add req-041, req-042

4 files changed, 18 insertions, 1 deletions

diff --git a/requirements/catalogue/req-010.md b/requirements/catalogue/req-010.md
index 9dce9e8..d783a27 100644
--- a/requirements/catalogue/req-010.md
+++ b/requirements/catalogue/req-010.md
@@ -7,4 +7,4 @@ buckets.
 
 Source: req-009
 
-Satisfied by: req-011, req-012, req-015, req-016
+Satisfied by: req-011, req-012, req-015, req-016, req-041, ass-009, req-042
diff --git a/requirements/catalogue/req-039.md b/requirements/catalogue/req-039.md
index 5528c83..2f583b3 100644
--- a/requirements/catalogue/req-039.md
+++ b/requirements/catalogue/req-039.md
@@ -6,3 +6,5 @@ money I see in my holidays bucket, so that my incomings and outgoings affect
 how much money is in my buckets.
 
 Source: req-009
+
+Satisfied by: req-040, req-041, ass-009, req-042
diff --git a/requirements/catalogue/req-041.md b/requirements/catalogue/req-041.md
new file mode 100644
index 0000000..d33fcce
--- /dev/null
+++ b/requirements/catalogue/req-041.md
@@ -0,0 +1,6 @@
+# req-041
+
+Every interface to any given bucket's balance in Schist returns the return value
+of the procedure, `calculate_bucket_balance` as described in req-030.
+
+Source: req-010
diff --git a/requirements/catalogue/req-042.md b/requirements/catalogue/req-042.md
new file mode 100644
index 0000000..430683c
--- /dev/null
+++ b/requirements/catalogue/req-042.md
@@ -0,0 +1,9 @@
+# req-042
+
+The procedure, `calculate_bucket_balance`, as described in req-030, returns the
+difference between the amounts of drips into it and the amounts of transactions
+out of it.
+
+Sources: req-010, req-039
+
+See also: ass-008