Provisions and liabs theory