 Kripke then employs a translation principle, according to which a good translation of a sentence from one language into another preserves the truth-value of the original. (31) below is a good English translation of (30).