Ruleset
Rules support Z as neutral. Order is ignored (A+B same as B+A) unless you define both orders.