Lines Matching defs:Implies