Function of the double colon in an analogy