for x, y, z, t being Variable st x '=' y = z '=' t holds
( x = z & y = t )