The safety arguments of a safety case are concerned with demonstrating that the potential for harm arising from the provision of one or more services is acceptable according to the relevant acceptable risk criteria. This inherently means that they have to demonstrate that the behaviour, properties and attributes (referred to in the book just as ‘behaviour’) of the system providing the services have been predicted and are acceptable. Consequently, to realise a single format that has broad applicability, the book defines the necessary extract of a safety case to be presented in the Safety Case Report in terms of components that CAP 1801 identifies as logically necessary to support such arguments, and would therefore be present in most safety cases.