BizTalk supports mechanisms for highly flexible correlation, but does not document all of the available options. In particular, it is not immediately obvious how to assign values directly to correlation sets when those values are not contained in the body of a message and exposed through property promotion. In fact, the technique is quite straightforward, when you know how!