Lines Matching full:understood
2132 // Even if none of the clauses changed, we may nonetheless have understood
