a bunch of stuff about syntax