Quadratic Reciprocity comments on DanielFilan’s Shortform Feed