p : p W ^o