ya quedaron los predicados
ya quedaron TODOS los predicados solo faltan las listas
ya quedo la definicion de las listas ahora solo faltan las operaciones