P0 and P1 can never be in the critical section at the same time: If P0 is in its critical section, then flag is true.
فرایند P0 و P1 نمی‌توانند در یک زمان در بخش بحرانی باشند: اگر P0 در بخش بحرانی قرار داشته باشد پرچم مربوط به آن مقدار درست (به انگلیسی: true) را نشان می‌دهد.