Separated decl and def for xor-equiv