The word gives both instances the same header, global block and set of type tuples, and equal counts give a bijection of the jobs that keeps every record, release date, weight and due date. Renaming the jobs of a schedule along it keeps feasibility and cost ($decides_of$), in both directions.