[math-fun] Carmichael orrery?