if *x borders *y then *x is adjacent to *y and *y is adjacent to *x.