finished functoriality of G