@mcc What do I think of tautology? Eh, it is what it is. I could take it or leave it.