p : p : d pt p- a *O