re-used image of morphism