> addvertex(Pra,theory); addvertex(AAA,theory);