When it comes to space exploration, is gathering resources on anyone's agenda? It seems the norm is to jump straight to colonization, but I feel resource gathering could happen sooner.