Quadratic Reciprocity's Shortform — LessWrong