finished translating JSONOutput and Synopsis