MAYBE

Problem:
 strict:
  p(0(),y) -> y
  p(s(x),y) -> s(p(x,y))
 weak:
  p(x,y) -> s(p(x,y))

Proof:
 Open