نفس النموذج يُهلوس في الدردشة ويعمل في وكيل البرمجة. ليس لأن النموذج تغيّر، بل لأن topology تغيّرت. التوليد يمكن أن يكون احتمالياً. التحقق يجب أن يكون حتمياً.
