وإذا لم يتحد متعلق الوجوب والتخيير بالذات، وكان التخيير بين واجب هو أحد المعينات من حيث إنه أحدها مبهمًا، وبين غير واجب هو إحداها على) التعيين من حيث التعيين، لم يلزم منه ارتفاع حقيقة الوجوب؛ لأن هذا لا يوجب جواز ترك كل واحد من المعينات على الإطلاق، بل جواز ترك معين من حيث التعيين لطريق الإثبات لمعين آخر.