Hils, Martin; Mennuni, Rosario
We exhibit a theory where definable types lack the amalgamation property.