No cabe una definición general mediante la cuantificación universal de la convención T: en 'Para todo P, "P" es verdadero si y solo si P', el alcance de la cuantificación llega a la oración, pero no a su nombre, y las interpretaciones de P no pueden dar lugar a las equivalencias buscadas y solo a ellas.