This! One way to mitigate safety critical issues is to pass it onto humans. This lowers how detailed you have to be when verifying the software, because you don't have to handle some critical aspects.