Text this: On free MV algebras and a problem of Tarski.