x
CDT=EDT? — LessWrong