>
addvertex(RA,theory);