Lines Matching refs:Deduce