yellow line subgroup of line, 2 assertions