Lines Matching full:prove