This image shows two message types on the left. Both are represented as envelopes. Both message types are connected with bidirectional arrows labeled Property Alias to a circle labeled Correlation Set. Inside the circle is a box labeled Property.