Financial support:
Project MTM2011-26840: "Teoría de modelos y aplicaciones"/"Model Theory and Applications"
Ministerio de Ciencia e Innovación, Spanish Government