(motive :
    Array (Aesop.Subgoal × Aesop.UnorderedArraySet Lean.MVarId) × Aesop.UnorderedArraySet Lean.MVarId → Sort u_1) →
  (__discr : Array (Aesop.Subgoal × Aesop.UnorderedArraySet Lean.MVarId) × Aesop.UnorderedArraySet Lean.MVarId) →
    ((properGoals : Array (Aesop.Subgoal × Aesop.UnorderedArraySet Lean.MVarId)) →
        (snd : Aesop.UnorderedArraySet Lean.MVarId) → motive (properGoals, snd)) →
      motive __discr