X & Y => V;
Y & Z => W;
V & W => U;