(motive : Option Std.Time.Second.Offset → Sort u_1) →
  (seconds : Option Std.Time.Second.Offset) →
    ((s : Std.Time.Second.Offset) → motive (some s)) → ((x : Option Std.Time.Second.Offset) → motive x) → motive seconds