Monomorphisms of finitely generated free groups have finitely generated equalizers. R.Z. Goldstein; E.G. Turner — 1985 Inventiones mathematicae