وباستخدام postulates، يمكن للفرد أن يبرهن على أن عوامل محددة يمكنها الاتصال باستخدام مفاتيح معينة.
Using the postulates, one can prove that certainagents believe that they can communicate using certain keys.