Mitchell_Porter comments on For the Record: DL ∩ ASI = ∅