Shifted syntax of first example