https://5dok.org/document/4zpxv7oq-homogenizable-structures-and-model-completeness.html