(motive : Std.Time.TimeZone → Std.Time.TimeZone → Sort u_1) →
  (x x_1 : Std.Time.TimeZone) →
    ((a : Std.Time.TimeZone.Offset) →
        (a_1 a_2 : String) →
          (a_3 : Bool) →
            (b : Std.Time.TimeZone.Offset) →
              (b_1 b_2 : String) →
                (b_3 : Bool) →
                  motive { offset := a, name := a_1, abbreviation := a_2, isDST := a_3 }
                    { offset := b, name := b_1, abbreviation := b_2, isDST := b_3 }) →
      motive x x_1