可以编写检查余额的断言

• You might write an assertion to check the balance