Which of the following describes a statement that is true under every possible interpretation?