Lines Matching defs:satbility