(motive : Std.Net.InterfaceAddress → Std.Net.InterfaceAddress → Sort u_1) →
  (x x_1 : Std.Net.InterfaceAddress) →
    ((a : String) →
        (a_1 : Std.Net.MACAddr) →
          (a_2 : Bool) →
            (a_3 a_4 : Std.Net.IPAddr) →
              (b : String) →
                (b_1 : Std.Net.MACAddr) →
                  (b_2 : Bool) →
                    (b_3 b_4 : Std.Net.IPAddr) →
                      motive { name := a, physicalAddress := a_1, isLoopback := a_2, address := a_3, netMask := a_4 }
                        { name := b, physicalAddress := b_1, isLoopback := b_2, address := b_3, netMask := b_4 }) →
      motive x x_1