What would be the best way to represent the constraint that {S1, ..., Sk} is a partition of S? Malcolm -- "Our age is not willing to stop with faith, with its miracle of turning water into wine, it goes further, it turns wine into water." -- Soren Kierkegaard, "Fear and Trembling"