陶山老师帖子的这个选图，在我看来，正像版主胡老师的提示，的确对于加深理解“解杀后形成实际的捉”规则条款很有帮助。
我认为，本帖图中的黑方将4退1，虽属于解杀之着，解杀后又有貌似“捉着作杀子”，却不可以生搬硬套，见“捉”就判，而是应该真正理解规则的精神内涵，判闲为妥。
为了弄清楚“解杀后形成实际的捉，应判捉”这一条款的判捉对象，我们不妨再看看规则中的图例（规则图）和陶山老师前不久发的图（陶山老师图A），比较它们与本帖图（陶山老师图B）之间的差别，从中认识“解杀后形成实际的捉，应判捉”这一规则条款的适用对象。
规则中的图和陶山老师的图A，作杀子都是3个，在解杀前虽然存在着对其形式上的“捉”，但在未走出解杀之着时，是不可以吃的，否则要被“将死”；反观作杀一方之所以敢把自己的“被捉子”置于对方的口中，义无反顾地去作杀，自然是有着自己的打算，也就是一个作杀子若被吃，另外两个作杀子仍可以达到“将死”对方的目的，我们姑且不妨把这种作杀的形式称为“复合型”。但当解杀一方走出解杀之着后，作杀一方的“图谋”不仅落空，盘面上也呈现出“作杀子”之一处于被捉状态，这便是规则中说的“解杀后形成实际的捉”。由此我们可以看出，所谓“实际”就是解杀一方在未走出解杀的着法时，是并不能在本质上构成对“作杀子”的捉，否则会被杀；只有走出解杀着法后，才会“形成”对“作杀子”的捉这一“实际”。“形成”与“实际”是一个因果关系。
我们再来看陶山老师的图B，作杀的子是马和车2个子，这就决定了它们之间的作杀的“单一性”，也决定了它们与前两例的本质区别。当红方走出马三退四的“献兼杀”时，黑方本就有“第一反击”，完全可以吃掉对方的“作杀子”，而黑方的将4退1解杀后，这种对红马的“捉”在形式和本质上都没有发生变化，按照规则精神，故应按闲处理。
以上是自己抛砖引玉的个人看法，不妥之处敬请各位版主和老师指正。
陶山老师帖子的这个选图，在我看来，正像版主胡老师的提示，的确对于加深理解“解杀后形成实际的捉”规则条款很有帮助。
我认为，本帖图中的黑方将4退1，虽属于解杀之着，解杀后又有貌似“捉着作杀子”，却不可以生搬硬套，见“捉”就判，而是应该真正理解规则的精神内涵，判闲为妥。
为了弄清楚“解杀后形成实际的捉，应判捉”这一条款的判捉对象，我们不妨再看看规则中的图例（规则图）和陶山老师前不久发的图（陶山老师图A），比较它们与本帖图（陶山老师图B）之间的差别，从中认识“解杀后形成实际的捉，应判捉”这一规则条款的适用对象。
<iframe src="http://www.gdchess.com/bbs/DhtmlXQ_www_dpxq_com/DhtmlXQ_www_dpxq_com.htm" frameborder="0" scrolling="no" width="500" height="350" marginwidth="0" marginheight="0" name="NoFile_[DhtmlXQiFrame]<br/>[DhtmlXQ_ver]www_dpxq_com[/DhtmlXQ_ver]<br/>[DhtmlXQ_init]500,350[/DhtmlXQ_init]<br/>[DhtmlXQ_title]规 则 图[/DhtmlXQ_title]<br/>[DhtmlXQ_result]未知[/DhtmlXQ_result]<br/>[DhtmlXQ_binit]2353475949392987089999999999660655224241403020990226992403999999[/DhtmlXQ_binit]<br/>[DhtmlXQ_movelist]5334553534533555[/DhtmlXQ_movelist]<br/>[DhtmlXQ_open]A00 非常见开局[/DhtmlXQ_open]<br/>[DhtmlXQ_refer]http%3A//www.dpxq.com/%0D%0Ahttp%3A//www.dpxq.com/hldcg/dhtmlxq/frame.htm[/DhtmlXQ_refer]<br/>[DhtmlXQ_generator]supersnow.ys168.com[/DhtmlXQ_generator]<br/>[/DhtmlXQiFrame]"></iframe>
<iframe src="http://www.gdchess.com/bbs/DhtmlXQ_www_dpxq_com/DhtmlXQ_www_dpxq_com.htm" frameborder="0" scrolling="no" width="500" height="350" marginwidth="0" marginheight="0" name="NoFile_[DhtmlXQiFrame]<br/>[DhtmlXQ_ver]www_dpxq_com[/DhtmlXQ_ver]<br/>[DhtmlXQ_init]500,350[/DhtmlXQ_init]<br/>[DhtmlXQ_title]陶山老师 A.XQF[/DhtmlXQ_title]<br/>[DhtmlXQ_result]未知[/DhtmlXQ_result]<br/>[DhtmlXQ_binit]9921473949482999992718999999999999659952304199769945999999999999[/DhtmlXQ_binit]<br/>[DhtmlXQ_movelist]4959455559495545[/DhtmlXQ_movelist]<br/>[DhtmlXQ_open]A00 非常见开局[/DhtmlXQ_open]<br/>[DhtmlXQ_refer]http%3A//www.dpxq.com/%0D%0Ahttp%3A//www.dpxq.com/hldcg/dhtmlxq/frame.htm[/DhtmlXQ_refer]<br/>[DhtmlXQ_generator]supersnow.ys168.com[/DhtmlXQ_generator]<br/>[/DhtmlXQiFrame]"></iframe>
<iframe src="http://www.gdchess.com/bbs/DhtmlXQ_www_dpxq_com/DhtmlXQ_www_dpxq_com.htm" frameborder="0" scrolling="no" width="500" height="350" marginwidth="0" marginheight="0" name="NoFile_[DhtmlXQiFrame]<br/>[DhtmlXQ_ver]www_dpxq_com[/DhtmlXQ_ver]<br/>[DhtmlXQ_init]500,350[/DhtmlXQ_init]<br/>[DhtmlXQ_title]陶山老师 B.XQF[/DhtmlXQ_title]<br/>[DhtmlXQ_result]未知[/DhtmlXQ_result]<br/>[DhtmlXQ_binit]9999474849392953279999999999996423994299309920999926609999999999[/DhtmlXQ_binit]<br/>[DhtmlXQ_movelist]5361303161533130[/DhtmlXQ_movelist]<br/>[DhtmlXQ_open]A00 非常见开局[/DhtmlXQ_open]<br/>[DhtmlXQ_refer]http%3A//www.dpxq.com/%0D%0Ahttp%3A//www.dpxq.com/hldcg/dhtmlxq/frame.htm[/DhtmlXQ_refer]<br/>[DhtmlXQ_generator]supersnow.ys168.com[/DhtmlXQ_generator]<br/>[/DhtmlXQiFrame]"></iframe>
规则中的图和陶山老师的图A，作杀子都是3个，在解杀前虽然存在着对其形式上的“捉”，但在未走出解杀之着时，是不可以吃的，否则要被“将死”；反观作杀一方之所以敢把自己的“被捉子”置于对方的口中，义无反顾地去作杀，自然是有着自己的打算，也就是一个作杀子若被吃，另外两个作杀子仍可以达到“将死”对方的目的，我们姑且不妨把这种作杀的形式称为“复合型”。但当解杀一方走出解杀之着后，作杀一方的“图谋”不仅落空，盘面上也呈现出“作杀子”之一处于被捉状态，这便是规则中说的“解杀后形成实际的捉”。由此我们可以看出，所谓“实际”就是解杀一方在未走出解杀的着法时，是并不能在本质上构成对“作杀子”的捉，否则会被杀；只有走出解杀着法后，才会“形成”对“作杀子”的捉这一“实际”。“形成”与“实际”是一个因果关系。
我们再来看陶山老师的图B，作杀的子是马和车2个子，这就决定了它们之间的作杀的“单一性”，也决定了它们与前两例的本质区别。当红方走出马三退四的“献兼杀”时，黑方本就有“第一反击”，完全可以吃掉对方的“作杀子”，而黑方的将4退1解杀后，这种对红马的“捉”在形式和本质上都没有发生变化，按照规则精神，故应按闲处理。
以上是自己抛砖引玉的个人看法，不妥之处敬请各位版主和老师指正。
回望孤帆远影老师讲解透彻有力。一句“从捉到捉”本质不变即道出主贴棋例的要害。