Let $\mathcal{X}$ be an additive full subcategory of an abelian category. It is a classical fact that if $\mathcal{X}$ is contravariantly finite. then the category $\mathsf {mod}\. \mathcal{X}$ of finitely presented right $\mathcal{X}$-modules is abelian. https://www.alarecre.com/Looney-Tunes-Marvin-the-Martian-Big-Head-Galaxy-S23-Waterproof-Case-p116784/