Rulebook rewriting