The equivalence of Hintikka's game-theoretic definition of truth and Tarski's definition of truth is...