projectionWith

In order to write $p.p2