Suppose that we have deduced the items OEi; h 1 ; k and OEk; h 2 ; j , where The item OEi; h 1 ; k asserts that for every configuration c 10 Item form: OEi; h; j , 0 Ä i Ä h < j Ä jwj Goal: OE0; 0; jwj Axioms: OEi; i; i C 1 OEi; h 1 ; k OEk; h 2 ; j Here,ˇ.c/ Dˇj , and .c/ D .c 10 /jh 1 .
we may generate the item OEi; h 1 ; j .