Para que la proposición sea verdadera, el hecho que describe debe darse efectivamente (debe ser el caso).