Lines Matching refs:deduction