قَالَ الْمرَادِي فِي " شرح الألفية ": (قَالَ ابْن مَالك فِي " شرح الكافية ": " الْعبارَة الجيدة فِي " لَو " أَن يُقَال: حرف يدل على امْتنَاع [تال] يلْزم لثُبُوته ثُبُوت تاليه، فقيام زيد، من قَوْلك: لَو قَامَ زيد لقام [عَمْرو] ، مَحْكُوم بانتفائه فِيمَا مضى وَكَونه مستلزماً ثُبُوته لثُبُوت قيام عَمْرو، وَهل [لعَمْرو] قيام آخر غير اللَّازِم عَن قيام زيد أَو لَيْسَ لَهُ؟ لَا تعرض لذَلِك، بل الْأَكْثَر كَون الأول وَالثَّانِي غير واقعين) .