tautology view 2