reach(a, b).
reach(a, a).