I generally don't use the term "tautology" at all. Instead, I prefer "t-definite", and thus simultaneously also making possible the use of "f-definite", "t-indefinite" and "f-indefinite". -- Irving H. Anellis 8905 Evergreen Avenue, Apt. 171 Indianapolis, IN 46240-2073