Christopher King comments on Inference from a Mathematical Description of an Existing Alignment Research: a proposal for an outer alignment research program

[Christopher King]

Oh, I think that was a typo. I changed it to inner alignment.