وقيل تعمل عمل إن 3292 وقال الجمهور تعمل عمل ليس وعلى كل قول لا يذكر بعدها إلا أحد المعمولين ولا تعمل إلا في لفظ الحين قيل أو ما رادفه قال الفراء وقد تستعمل حرف جر لأسماء الزمان خاصة وخرج عليها قوله * (ولات حين) * بالجر 76 - لا جرم 3293 وردت في القرآن في خمسة مواضع متلوة بأن واسمها ولم يجيء بعدها فعل واختلف فيها فقيل لا نافية لما تقدم وجرم فعل معناه حق وأن مع ما في حيزه في موضع رفع وقيل زائدة وجرم معناه كسب أي كسب لهم عملهم الندامة وما في حيزها في موضع نصب وقيل هما كلمتان ركبتا وصار معناهما حقا وقيل معناهما لا بد وما بعدها في موضع نصب بإسقاط حرف الجر 77 - لكن 3294 مشددة النون حرف ينصب الاسم ويرفع الخبر ومعناه الاستدراك وفسر بأن تنسب لما بعدها حكما مخالفا لحكم ما قبلها ولذلك لا بد أن يتقدمها كلام مخالف لما بعدها أو مناقض له نحو * (وما كفر سليمان ولكن الشياطين كفروا) * 3295 وقد ترد للتوكيد مجردا عن الاستدراك قاله صاحب البسيط وفسر الاستدراك برفع ما توهم ثبوته نحو ما زيد شجاعا لكنه كريم لأن الشجاعة والكرم لا يكادان يفترقان فنفي أحدهما يوهم نفي الآخر 3296 ومثل التوكيد بنحو لو جاءني أكرمته لكنه لم يجيء فأكدت ما أفادته لو من الامتناع 3297 واختار ابن عصفور أنها لهما معا وهو المختار كما أن كأن للتشبيه