xorA
ArbitraryK
EqK
xorArbitrary
arbitrary
xorB
ArbitraryK
EqK
xorTA
ArbitraryK
EqK
xorTArbitrary
arbitrary
xorTB
ArbitraryK
EqK