Попробовал ещё раз. На этот раз попытался сфокусироваться на конгруентности проведения самой процедуры. Обнаружилась цепочка прерываний:
- Часть А, которая отвечает за исходное поведение, взаимно прерывается Частью B - Обе они прерываются Частью C (мета-возражение 1) - Она прерывается Частью D (мета-возражение 2) - Она прерывается Частью F и Частью G, которые взаимно прерывают друг друга (мета-возражения 3-4) - Обе они взаимно прерываются Частью H (мета-мета-возражение 1)
Как-то так запутано вот.
A и B не соглашаются уступить друг другу очередь :) C, D - соглашаются уступить основную ветвь техники. F и G - не соглашаются уступить очередь друг другу, или основной ветви техники, или части H. H - не соглашается уступать F и G.