fix: correctly induces a rule set