| Formulas Compiled | Formula Fired | Assertions Compiled | Assertions Fired | Assertions Satisfied | Assertions Not Satisfied |
|---|---|---|---|---|---|
| 0 | 0 | 2 | 4 | 4 | 0 |
| id | satisfied | message |
|---|---|---|
| Arithmetic_BS01 (evaluation 1) | satisfied | $Assets=0 = ($Liabilities=0 + $Equity=0) |
| Arithmetic_BS01 (evaluation 2) | satisfied | $Assets=3500 = ($Liabilities=0 + $Equity=3500) |
| CONSISTENCY_AccountingEquation (evaluation 1) | satisfied | $Assets=0 = ($Liabilities=0 + $Equity=0) |
| CONSISTENCY_AccountingEquation (evaluation 2) | satisfied | $Assets=3500 = ($Liabilities=0 + $Equity=3500) |