PR #7: A rule that sees a whole package