The classic example of a formula that is not successful in this sense is the ???Moore sentence??? p ??? ??BOXp, read as ???p is true but you do not know p.??? Not only is (...) the Moore sentence unsuccessful, it is self-refuting, for it never remains true as described.