Lines Matching refs:proofs