>
addvertex(T37,theory);
>
addedge([T36,T37],theory);
>
