To say that a given statement (e.