x\mid v\quad\land\quad v\mid x\quad\land\quad y\mid u\quad\land\quad u\mid y