for two pages x and y, R(x,y) is true iff x has a link to y. I think this is the first half of the question???