diff --git a/README.md b/README.md
index 3b12d4c..cc10abb 100644
--- a/README.md
+++ b/README.md
@@ -483,6 +483,7 @@ This proposal is in its early stages, and we welcome your input to help refine i
## Authors
- [Arthur Fiorette](https://github.com/arthurfiorette) ([X](https://x.com/arthurfiorette))
+- [Arlen Beiler](https://github.com/Arlen22)
diff --git a/spec.emu b/spec.emu
index 343c60e..ce7bf8c 100644
--- a/spec.emu
+++ b/spec.emu
@@ -4,98 +4,134 @@
-title: ECMAScript Safe Assignment Operator
+title: ECMAScript Try Operator
stage: -1
-contributors: Arthur Fiorette
+contributors: Arthur Fiorette, Arlen Beiler
-
-
Introduction
-
This proposal introduces syntax and semantics for safe assignments
- A method that wraps function call result into a tuple array. Called by the semantics of `?=` operator and `ResultableStack` objects.
-
-
-
-
-
-
-
-
-
The Object Type
-
-
Well-Known Intrinsic Objects
-
-
-
-
- Intrinsic Name
-
-
- Global Name
-
-
- ECMAScript Language Association
-
-
-
-
- %Function%
-
-
- `Function`
-
-
- The Function constructor ()
-
-
-
-
- %Promise%
-
-
- `Promise`
-
-
- The Promise object ()
-
-
-
-
-
-
+
+
Runtime Semantics: Evaluation
+ TryExpression : `try` AssignmentExpression
+
+ 1. Let _A_ be Completion(Evaluation of |Expression|).
+ 1. If _A_ is an abrupt completion, return ? TryExpressionResult(_A_).
+ 1. Let _B_ be Completion(GetValue(_A_)).
+ 1. Return ? TryExpressionResult(_B_).
+
+
+
GetValue must be called even though its value is not used because it may have observable side-effects.
+
-
\ No newline at end of file
+
+
+
+ TryExpressionResult (
+ _result_: a Completion Record,
+ ): either a normal completion containing a TryResult or an abrupt completion
+
+
+
+
+ 1. If _result_ is a normal completion, return TryResult.ok(_result_.[[VALUE]]).
+ 1. If _result_ is a throw completion, return TryResult.error(_result_.[[VALUE]]).
+ 1. Return ? _result_.
+
+
+
+
+ TryResult.ok (
+ _value_: an ECMAScript language value,
+ ): a TryResult
+
+
+
description
+
It is the abstract equivelant of calling `TryResult.ok(value)`
+
+
+
+
+ TryResult.error (
+ _value_: an ECMAScript language value,
+ ): a TryResult
+
+
+
description
+
It is the abstract equivelant of calling `TryResult.error(value)`
+
+
+
+
+
+
Well-Known Intrinsic Objects
+
+
+
+
+
+ Intrinsic Name
+
+
+ Global Name
+
+
+ ECMAScript Language Association
+
+
+
+
+
+ %TryResult%
+
+
+ `TryResult`
+
+
+ The `TryResult` constructor ()
+
+
+
+
+
+
+
+
The TryResult Constructor
+
The TryResult constructor:
+
+
is %TryResult%.
+
is the initial value of the *"TryResult"* property of the global object.
+
is the functional equivelant of the following code:
+