 Computer implementations of these games of Hintikka proved to be a very effective way of teaching the meanings of first-order sentences. One such package was designed by Jon Barwise and John Etchemendy at Stanford, called ‘Tarski’s World’. Independently another team at the University of Omsk constructed a Russian version for use at schools for gifted children.