Et strukturert argument, støttet av bevis, for at et AI-system er trygt for en definert brukskontekst.