Silly question. If I want to get the P2Set of the elements of an array is some_array_node.dot(ArrayElement.v()).getP2Set() the right way to do it?