justinpombrio comments on An AGI kill switch with defined security properties