If what it is is what it is, given that it is what it is, then it is what it is given that it is what it is, unless the case is that it is not what it is, in which case it is not what it is. If what it is is not what it is, given that it is what it is, then it is not what is is given that it is what it is, unless it is not what it is not, in which case it is not what it is not.