History of Tautology