Biquadratic_reciprocity loading ...