∀ (script : Aesop.Script.UScript) (proofHasMVar : Bool) (script_1 : Aesop.Script.UScript) (proofHasMVar_1 : Bool),
  ({ script := script, proofHasMVar := proofHasMVar } = { script := script_1, proofHasMVar := proofHasMVar_1 }) =
    (script = script_1 ∧ proofHasMVar = proofHasMVar_1)