Mitchell_Porter comments on On The Formal Definition of Alignment