Fleshed out epimorphism discussion