2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/218577We prove that for every simple theory $T$ (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\fP$ whose saturated models are the lovely pairs of $T$. Independence-theoretic results that were proved in \cite{ppv:pairs} when $T^\fP$ is a first order theory are proved for the general case: in particular $T^\fP$ is simple and we characterise independence.Logic03C45; 03C95text