Yes. I don't understand why HN reacts with such froth to the suggestion that this problem runs deeper than type systems.