MarsColony_in10years comments on Instrumental Rationality Questions Thread