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