مقاله : abstractپیش‌شرط
precondition پیش‌شرط