X = Y

Defined as if by clause " Z = Z. ".
