A much nicer presentation of the syntax