x
β-redex's Shortform — LessWrong