Should read “a Roadster, a Model S and, now formerly, a Model X—which he returned to Tesla...” as formerly refers to in the past, while formally is official.