The definition of "is" is