خواه دو نوع وجود , كه از هر يك از لم يلد ولم يولد , والد و مولود , دو صنف وجود استفاده گردد كه دو صنف وجود نيست , و از ولم يكن له كفوا احد , كفوا با كفو , دو نوع وجود , و سريان نفى يعنى بودن لم در هر سه جمله كه نفى وجود دوم مى كند مطلقا , و چون دومى نيست يعنى دومى وجود ندارد پس تمايز تقابلى دربارى تعالى راه ندارد .

خلاصه مطلب اينكه تمايز و تعين دو چيز و جداى از يكديگر به بودن صفاتى و خصوصياتى در اين يكى است كه مقابل آن صفات در آن ديگر هم ثابت است كه هر يك از اين دو واجد صفاتى خاص است و به آن صفات از يكديگر متمايزند در اين صورت آن دو تمايز تقابلى دارند . و ظاهر است كه امارات تميز در اين قسم خارج از متعين است زيرا كه آنها نسبتهايى اند كه از امور متقابله پديد مى آيند به مثل چون امارات تشخص زيد از عمرو كه هر يك به صفاتى كه داراست متميز از ديگرى است .

اما تعين و تميز متميز محيط و شامل به مادونش چون تميز كل از آن حيث كه كل است به صفتى است كه براى كل است و از اسماء مستأثره اوست و خارج و زائد از او نيست بلكه به وجود او متحقق و به عدم او منتفى است و چون هيچ جزء مفروض كل , بدان حيث كه كل است , منحاز از كل نيست زيرا كه كل نسبت به مادونش احديت جمع دارد لاجرم تمايز بين دو شى ء نيست بلكه يك حقيقت متعين به تعين شمولى است و نسبت حقيقه الحقائق با ماسواى مفروض چنين است و اين معنى از سوره نسبت به خوبى مستفاد است كه