added Divisible and Decidable