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