> addvertex(T3,theory);

> addedge([RA,T3],theory);