4.5 functional safety: deleted 'there must first be a number of assumptions'