Lines Matching refs:SetTheory