They didn’t close Campo Sango though, and haven’t closed other studios they bought historically (like Turtle Rock, which eventually became independent of Valve again and released Back 4 Blood).