Mucked about in SC.Decidable.