A reader: “Derb—It’s obvious that Ceres is short for Cerenitys.”

[Derb] That’s it! And Mars has obviously been truncated from the original Morena.