Vladimir_Nesov comments on Quadratic Reciprocity’s Shortform