>
addvertex(PS,theory);