cleaned up pullback of a monic is a monic proof a little