decidable union