Utilizamos las nuevas definiciones generadas.