$Assets = ($Liabilities + $Equity)
proof:Assets
proof:Liabilities
proof:Equity
0 = (Equity{T0} + (Revenue{P1} - Expenses{P1} + Gains{P1} - Losses{P1}) + (InvestmentsByOwners{P1} - DistributionsToOwners{P1})) + Liabilities{T1} - Assets{T1}
proof:Equity
proof:Liabilities
proof:Assets
proof:Revenues
proof:Expenses
proof:Gains
proof:Losses
proof:InvestmentsByOwners
proof:DistributionsToOwners