Finished translating the syntax section.