shared rule is log(rule)