Dan Proving quadratic reciprocity with Red, White, and Blue