Popper writes of learning in 1935 of the consequences of Tarski's theory, to his intense joy