I thought that if not Matt Damon, but Sean Bean were left on Mars, the film would be a tragedy.