“…We use the same notion of session identifier, partner id, partnering as it is defined in [3], [9]. Definition 12 (Session Identifier, Partner id, and Partnering [3], [9] 4). On the other hand, all C(U , 1), C(U , 2), C(U , 3), and C(U , 4) are true then it also becomes true regardless of C(S, 1) and C(S, 2).…”