Lines Matching defs:thm_down_a