that may be the longest tautology I've ever read.