Value: decidable

Edit | Back