"S" es verdadera para un sujeto "x" si y solo si "p" ocurre en un tiempo "t".