Mitchell_Porter comments on formal alignment: what it is, and some proposals

[Mitchell_Porter]

Nice to see someone who wants to directly tackle the big problem. Also nice to see someone who appreciates June Ku’s work.