A valid logical formula is a ["Tautology"].