A structured argument, supported by evidence, that an AI system is safe for a defined context of use.