إن على الله أن تبايعا............. البيت لأن الأخذ كرها والمجيء طوعا من صفات المبايعة. وظاهر كلام سيبويه يقتضي أنه أنشده شاهدا على بدل الاشتمال لأنه أتى به مع قول الآخر: الطويل فما كان قيس هلكه هلك واحد وقول الآخر:) وما ألفيتني حلمي مضاعا وذلك في باب من أبواب بدل البعض والاشتمال. وإذا ثبت بدل البعض ثبت بدل الاشتمال: لأنه مشبه به إذ عدوا وصف الشيء كالجزء منه. وقد يكون فيه بدل الإضراب والغلط نحو إن تطعم زيدا تكسه أكرمك. وقد سأل سيبويه الخليل عن قولك: إن تأتنا تسألنا نعطك بجزم تسألنا.
فقال: هذا يجوز على أن يكون مثل الأول لأن الأول الفعل الآخر تفسير له وهو هو. يعني ما قال: ولكنه يجوز على الغلط والنسيان ثم يتدارك. وقال بعد: فلو قلت إن تأتني آتك أقل ذلك. كان غير جائز لأن القول ليس بالإتيان إلا أن تجيزه على ما جاز عليه تسألنا. فهذا نص لجواز بدل الغلط والنسيان. وجواز بدل الإضراب أولى. انتهى كلام الشاطبي.