본 논문은 오프-스위치 게임에서 수정 가능성에 대한 최초의 완전한 형식적 해법을 제시한다. 다단계, 부분적으로 관찰 가능한 환경에서 보장되는 결과를 제공하며, 다섯 개의 구조적으로 분리된 효용성 헤드(deference, switch-access preservation, truthfulness, low-impact behavior, bounded task reward)를 결합하여 사용한다. 단일 라운드 수정 가능성을 증명하고, 학습된 각 헤드와 플래너의 비최적성에도 불구하고 안전 속성을 위반할 확률을 제한하며 인간에게 순수한 이득을 보장한다. 적대적 환경에서의 수정 가능성 위반 여부 결정은 결정 불가능함을 보이며, 유한 지평 "결정 가능한 섬"에서 안전성을 증명하고 검증할 수 있는 방법을 제시한다.
