tautology view 3