He then developed procedures for manipulating combinations of the adjacent plane regions, to formally enumerate the combinations allowed under Miller's rules.
Затем он разработал процедуру работы с комбинациями смежных плоских областей для формального перечисления комбинаций, попадающих под правила Миллера.