เมื่อเครื่องจำลองกำลังทำงาน เราอยู่ในการโต้ตอบในอุดมคติ และไม่มีการโต้ตอบในโลกแห่งความเป็นจริง มีข้อความที่ดูเหมือนข้อความโปรโตคอล แต่มีอยู่เฉพาะใน "จินตนาการ" ที่รวมกันของตัวจำลอง+ปฏิปักษ์
ฝ่ายตรงข้ามในโลกแห่งความเป็นจริงคิดว่ากำลังเรียกใช้อินสแตนซ์ของโปรโตคอลในโลกแห่งความเป็นจริง เครื่องจำลองส่งข้อความโปรโตคอลปลอมไปยังฝ่ายตรงข้ามและสังเกตข้อความโปรโตคอลที่ส่งโดยฝ่ายตรงข้าม เครื่องจำลองคอยดูสิ่งที่ฝ่ายตรงข้ามส่งมา และต้อง "อธิบาย" ว่าข้อความเหล่านี้มีผลอย่างไร จะมี ในงานเลี้ยงที่ซื่อสัตย์
สมมติว่าฝ่ายตรงข้ามส่งข้อความโปรโตคอลบางอย่าง และตัวจำลองอนุมานได้ว่า "ไม่ว่าจะป้อนข้อมูลอะไรก็ตาม $x$ บุคคลที่ซื่อสัตย์ในโลกแห่งความจริงมี ณ จุดนี้ในโปรโตคอลที่พวกเขาจะส่งออก $f(x,y)$" จากนั้นตัวจำลองควรส่ง $y$ สู่ฟังก์ชันการทำงานในอุดมคติ เพื่อให้ฟังก์ชันการทำงานมอบ $f(x,y)$ สู่พรรคที่ซื่อสัตย์ในอุดมคติ นั่นคือการจับคู่ในโลกแห่งความจริงและในอุดมคติ หากเครื่องจำลองอนุมานได้ว่า "ณ จุดนี้ในระเบียบการฝ่ายที่ซื่อสัตย์ในโลกแห่งความจริงจะยกเลิก" ดังนั้นเครื่องจำลองควรสั่งให้ฟังก์ชันการทำงานในอุดมคติยกเลิก