I agree with that much, but the question is whether there's enough hidden content to force development of a general theory of "learning what the programmers actually meant" that would be sufficient unto full-scale FAI, or sufficient given 20% more work.