Quadratic Reciprocity comments on Buck’s Shortform