 Tarski’s rehabilitation of the correspondence theory of truth…stimulated Popper to complement his logic of discovery with his own theory of verisimilitude and of approximation to the Truth, an achievement marvellous both in its simplicity and in its problem-solving power. (PDI: 154.)