added mentionsForRule() to State