P(a)@0
R(a,b)@0
R(b,c)@0
R(c,d)@0
R(d,e)@0
R(e,f)@0
R(f,g)@0
R(g,h)@0
