Did you know Mars is populated entirely by robots?