Domain:-Apply shouldn't do any solving; but it wants to return a Partition, so construct the disjoint conditions manually (there should probably be a helper fn for this)
Domain:-Apply shouldn't do any solving; but it wants to return a Partition, so construct the disjoint conditions manually (there should probably be a helper fn for this)

zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru