Rule generalization and optionality etc door Keyser