A Modeltheoretic Solution to a Problem of Tarski