Editing: ImplicitRule.php