# req-036

Given a bucket, `bucket`, if the procedure
`is_bucket_balance_up_to_date(bucket)` as described in req-035 returns TRUE,
then the accurate balance of `bucket` is equal to `bucket.balance`.

Sources: req-030, req-032

Satisfied by: req-070, ass-008