@unnick checking for tautology ... true