News December 23, 2022 Atmospheric oxygen turned out to be unnecessary for the formation of some minerals on Mars