Lines Matching refs:implies