an expression in which the replacement of a term by another with the same reference may change the truth-value of the whole. John believes that Cicero was a Roman is opaque, since even though Cicero and Tully are the same person John may know that the given statement is true but not that Tully was a Roman