sweenesm comments on Quadratic Reciprocity’s Shortform