اَر (شکلِ دیگرِ واژهٔ "اگر" در فارسی) + ــَـ‌ن (پسوندِ اسم‌ساز —> بسنجید با: سوزن، روزن.) + ــ‌یدن (نشانهٔ مصدر)
۱ـ ستاکِ حالِ اَرَستن می‌شود: اَرَن .(بسنجید با: شکستن —» شکن .)
۲ـ تفاوتِ stipulation و condition:
اَرَن (stipulation) به معنای رابطهٔ شرطی است؛ یعنی پیوندی که در آن تحققِ یک امر به تحققِ امری دیگر وابسته می‌شود، خواه این وابستگی در طبیعت باشد، خواه در منطق یا در گفتار.
گَرال (بروید به: condition .) به معنای بندِ شرطیِ تصریح‌شده است؛ یعنی شرطی که به‌صورتِ آگاهانه و زبانی در یک متن، قرارداد یا توافق تعیین و ثبت شده است. درفارسی به گرال می‌توان قید یا بند نیز گفت.