From this he concludes (though I find the conclusion far from obvious myself, even given the premises) that the only true rule for exportability must be his original unrestricted one, obliterating the distinction between and, the very distinction he has himself emphasized.