Rule generalization and optionality etc by Keyser