Should be green in the rectangle below: