Hot: safety-assurance