> addvertex(RA,theory);