Se pueden ver problemas de certeza y completitud.