Pero si, en otro lenguaje, 'chango' fuera lo que nosotros entendemos por '2'; 'perro' lo que nosotros por '1'; 'corre' por '-'; y 'tira de materias' por ='; entonces 'chango corre perro tira de materias perro' seguiría siendo verdadero, puesto que no han variado las reglas de la 'operación' sino un cambio (renombramiento) en las variables involucradas.