er, i was trying to demonstrate tautology.