Syntactically working