Syntax and data

TODO introduction.