Lines Matching refs:Implies