That is not tautology.
"Northern Nut Growers Association Report of the Proceedings at the Eleventh Annual Meeting" by Various
And somebody says, 'Yes, that is tautology, that is saying the same thing twice over in different language.
"Expositions of Holy Scripture" by Alexander Maclaren
To say that, if it increases, his wages increase is to be simply tautologous.
"The English Utilitarians, Volume II (of 3)" by Leslie Stephen
Your observation is therefore tautological.
"Happy Days" by Alan Alexander Milne
The text is not a mere tautology or repetition.
"Commentary on Genesis, Vol. II" by Martin Luther
The catalogue should complement the arrangement on the shelves, and not be tautological.
"The Private Library" by Arthur L. Humphreys
Tautology was the blemish of written and vocal speech.
"A Romantic Young Lady" by Robert Grant
Is it less tautology to describe a thing over and over again with lines, than it is with words?
"Modern Painters Volume I (of V)" by John Ruskin
It is simply tautology.
"Anarchism and Socialism" by George Plechanoff
And, besides, only see how full it is of tautology.
"My Schools and Schoolmasters" by Hugh Miller
***
Deep with divine tautology,
The sunset's mighty mystery
Again has traced the scroll-like west
With hieroglyphs of burning gold:
Forever new, forever old,
Its miracle is manifest.
"Sunset And Storm" by Madison Julius Cawein
Necessary and suﬃcient, in case R is simple, is that (after factoring out Inf R), if H is a subgroup of R whose closure is a ﬁnite dimensional real vector space, then H ∩ R++ = {0}, but this is practically tautological.
Non-direct limit of simple dimension groups with finitely many pure traces
It is practically tautological that the the pure trace space can be identiﬁed with the path space of the reduced Bratteli diagram (obtained by collapsing all multiple edges to single edges), which is a Cantor set.
Non-direct limit of simple dimension groups with finitely many pure traces
Its deﬁning property is that tr π(L) = W (L); this is almost a tautology and in this sense we only ‘repackaged’ the information of the loop functional.
Large N Gauge Theory -- Expansions and Transitions
If the sheaf of differentials Ω1 X/k of X over k is ample and generated by global sections, then the set of k-rational points of X is ﬁnite, where ampleness of Ω1 X/k means that the tautological line bund le on Pro j(Ld≥0 Symd (Ω1 X/k )) is ample.
Remarks on rational points of varieties whose cotangent bundles are generated by global sections
Let πF : P(F ) → X be the natural morphism and OF (1) the tautological line bundle on P(F ).
Remarks on rational points of varieties whose cotangent bundles are generated by global sections
***