https://www.labitacoradeltigre.com/2009/12/24/resuelto-el-problema-con-la-traduccion-de-tarski-en-la-version-2-9-de-wordpress/