I do not know what this syntax means ^^