Title: Formulaciones tautológicas