Martian Mathematics: What is It?