Describir: Non-manipulable division rules in claim problems and generalizations.