Lines Matching full:assume