Fix formats. Add a heading of semantics.