It is theoretically possible to predict the forms of sun dogs as would be seen on other planets and moons. Mars might have sundogs formed by both water-ice and CO 2 -ice. On the giant gas planets — Jupiter, Saturn, Uranus and Neptune — other crystals form the clouds of ammonia, methane, and other substances that can produce halos with four or more sundogs.