paulfchristiano comments on We should probably buy ADA?