Part I: Syntax