> Mars was actually discovered before Total Recall was released.

No one suggested otherwise.