TODO: ejemplo de tautología