x
For the Record: DL ∩ ASI = ∅ — LessWrong