@juancpgo @eads @nwyatt @agnescallard it's a tautology. but the point of a tautology is that it's trivially true, so it doesn't make sense to say it. people seem to be confusing that with the actual truth value of the statement.