new def
p1-p2