Suppose the predicate K(x, y)K(x,y) means that the people x and y know each other. Write a predicate logic formula that means "There are either three people who all know each other, or three people who are total strangers (i.e., no one knows any of the other two)."