Syntax notes