9.1.2 Dif­fer­en­tial form of the state­ment