Typos y mejoras en la parte de DPLL
Plural en propiedades