Mitchell_Porter comments on Alignment remains a hard, unsolved problem