> addvertex(T17,theory);
> addedge([T11,T17],theory);
> partition:=[[I1,I2,RA,PS,Pra,AAA,SAS], [T1,T2,T3,`T6.5`,T5,T6,T8,`T8.5`,`T12.5`], [T4,T7,T9],[T10,T11],[T12,T13,T14,T15,T17,PA],[T16]];
>
![partition := [[I1, I2, RA, PS, Pra, AAA, SAS], [T1,...](images/theory312.gif){kind=small}
![partition := [[I1, I2, RA, PS, Pra, AAA, SAS], [T1,...](images/theory313.gif){kind=small}