Z3 p :r+r+-