Galaxy Formation Theories, 5 billion years after .