«Colón descubrió América» es una verdad de hecho, porque pudo haber sido de otra manera, es decir, «Colón no descubrió América».