x
QEDDEQ's Shortform — LessWrong