And how is a colony on mars necessary?