Quadratic Reciprocity — LessWrong