پس و پیش

اور-شانابی، بر بالای دیوار اوروک شو و به پس و پیش رو!

در پس و پیش خطرهاست درین بحر سلیم از پی کشتی ام آتش، ز برابر باد است

شکست نخورد دو ساختار را هم‌ارز پس و پیش مرتبهٔ

ور هیچ چپ و راست ببینی و پس و پیش پیش و پس و راست و چپ و بالا همه او دان

نگه کن پس و پیش و هشیار باش ز دشمن سپه را نگهدار باش

شام هجران تو تشریف به هر جا ببرد در پس و پیش هزاران شب یلدا ببرد

در حضرت توحید پس و پیش مدان از خویش مدان و خالی از خویش مدان

او می‌شد جان به کف گرفته وایشان پس و پیش صف گرفته

نیست در کوی توام راه خلاص از پس و پیش چه کنم چاره ز پیش آمد و دشمن ز پسم

فتح و اقبال مرا تو را پس و پیش نصرت و سعد بر یسار و یمین

همه جانان شوم چه از پس و پیش براندازد ز ناگه برقع خویش

لحظه‌ای درگذر ازین پس و پیش لمحه‌ای در نگر به عالم خویش

بر بالای دیوار اوروک شو و به پس و پیش رو!

هرگونه جسم دارای سطح صاف و پهن و نسبتاً باریک می‌تواند با پس و پیش بردن با دست برای به جریان درآوردن هوا استفاده شود و از آن به عنوان یک بادبزن استفاده کرد؛ اما بادبزن‌های واقعی که برای منظور خنک‌سازی بهینه ساخته شده‌اند معمولاً شکلی به صورت یک قطاعی از دایره دارند و از جنسی نازک هم‌چون مقوای نازک یا کاغذ ساخته شده‌اند که در آن‌ها چین‌های آکاردئونی تعبیه شده که می‌توان به خاطر وجود این چین‌ها، بادبزن را حول یک محور جمع کرد. حمل و به همراه داشتن بادبزن‌های تاشو راحت‌تر از بادبزن‌های غیرتاشو است.

بازی‌های پس و پیش برای اثبات هم‌ارزی دو ساختار در منطق مرتبهٔ اول معرفی شدند. در این بازی‌ها تصمیمات هر بازیکن دامنهٔ ساختار متناظر است. هدف بازیکن همانندساز اثبات هم‌ارزی این دو ساختار است و بازیکن خراب‌کار در صورت ناتوانی حریف خود پیروز می‌شود. بازی به این شکل پیش می‌رود که در هر مرحله، بازیکن خراب‌کار یک عضو را انتخاب کرده و بازیکن همانندساز عضوی را انتخاب می‌کند که در کنار اعضای پیشین رفتاری مشابه اعضای انتخاب شده توسط خراب‌کار داشته باشد. در هر مرحله اگر تفاوتی در رفتار دیده شد بازیکن خراب‌کار پیروز می‌شود و اگر هیچ‌وقت بازیکن خراب‌کار پیروز نشد، بازیکن همانندساز را پیروز می‌دانیم. پس تعریف می‌کنیم روی ساختار