State The Obvious Thread!

[Soleron]

if R is a ring over which every left cotorsion R-module is pure injective, then the smallest definable subcategory (R-proj) containing every finitely generated projective module is well-behaved.

Obviously.

Yes, I did type random stuff into Google until I got a mathematical theorem of sufficient WTF-value.