[math-fun] The mod 12 symptom?