>>512402551
tautology btw is a term in logic used to denote a relationship between two variables that is always "True"