Hello, i would like to know whether writing assertions in the substantive procedures (eg verifies existence) is compulsory or not. In the technical article they have mentioned to to write the procedure, reason and the assertion, but in the marking schemes they havent included assertions in the procedures. So will marks be deducted if i dont write the assertions unless the question asks for assertions?