Oops, missed that (medium doesn’t do a great job showing what is a response to what). I agree that the overseer needs to satisfy the control guarantee for some big class of inputs in order to do this.