> addvertex(T29,theory);

> addedge([T19,T29],theory);
addedge([T28,T29],theory);

>