> addvertex(PS,theory);