The specification tag is the root element for tck-audit.xml. Each section of the specification should be identified and entered The section number The section title The specification text that this assertion represents. You can include highlighting such as _highlight_ or ~score out~. A note on the assertion, for example a justifaction for marking this assertion untestable By default true, set to false if this test is untestable. The coverage report will then not count it as untested. Some assertions are often implied by the specification (for example inversions of statments), mark an assertion as implied using this attribute.