Refinement to mentions logic