Xor

validating

x

SingleReason

xor

Constraint