>
addvertex(T5,theory);
>