a :- b.
b :- c.
c :- d.
d :- e.
e :- f.
f :- g.
g :- h.
h :- i.
i :- j.
