Oh I see, the original article didn’t use this syntax.