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