Daniel_Eth comments on Quadratic Reciprocity’s Shortform