tautology view 1