diff --git a/spec.html b/spec.html
index 0ef6dd1a73..6a3cc9ec51 100644
--- a/spec.html
+++ b/spec.html
@@ -18646,54 +18646,51 @@
TemplateLiteral : NoSubstitutionTemplate
- 1. If _raw_ is *false*, then
- 1. Let _string_ be the TV of |NoSubstitutionTemplate|.
- 1. Else,
- 1. Let _string_ be the TRV of |NoSubstitutionTemplate|.
- 1. Return « _string_ ».
+ 1. Return « TemplateString(|NoSubstitutionTemplate|, _raw_) ».
SubstitutionTemplate : TemplateHead Expression TemplateSpans
- 1. If _raw_ is *false*, then
- 1. Let _head_ be the TV of |TemplateHead|.
- 1. Else,
- 1. Let _head_ be the TRV of |TemplateHead|.
+ 1. Let _head_ be « TemplateString(|TemplateHead|, _raw_) ».
1. Let _tail_ be TemplateStrings of |TemplateSpans| with argument _raw_.
- 1. Return the list-concatenation of « _head_ » and _tail_.
+ 1. Return the list-concatenation of _head_ and _tail_.
TemplateSpans : TemplateTail
- 1. If _raw_ is *false*, then
- 1. Let _tail_ be the TV of |TemplateTail|.
- 1. Else,
- 1. Let _tail_ be the TRV of |TemplateTail|.
- 1. Return « _tail_ ».
+ 1. Return « TemplateString(|TemplateTail|, _raw_) ».
TemplateSpans : TemplateMiddleList TemplateTail
1. Let _middle_ be TemplateStrings of |TemplateMiddleList| with argument _raw_.
- 1. If _raw_ is *false*, then
- 1. Let _tail_ be the TV of |TemplateTail|.
- 1. Else,
- 1. Let _tail_ be the TRV of |TemplateTail|.
- 1. Return the list-concatenation of _middle_ and « _tail_ ».
+ 1. Let _tail_ be « TemplateString(|TemplateTail|, _raw_) ».
+ 1. Return the list-concatenation of _middle_ and _tail_.
TemplateMiddleList : TemplateMiddle Expression
- 1. If _raw_ is *false*, then
- 1. Let _string_ be the TV of |TemplateMiddle|.
- 1. Else,
- 1. Let _string_ be the TRV of |TemplateMiddle|.
- 1. Return « _string_ ».
+ 1. Return « TemplateString(|TemplateMiddle|, _raw_) ».
TemplateMiddleList : TemplateMiddleList TemplateMiddle Expression
1. Let _front_ be TemplateStrings of |TemplateMiddleList| with argument _raw_.
- 1. If _raw_ is *false*, then
- 1. Let _last_ be the TV of |TemplateMiddle|.
+ 1. Let _last_ be « TemplateString(|TemplateMiddle|, _raw_) ».
+ 1. Return the list-concatenation of _front_ and _last_.
+
+
+
+
+
+ Static Semantics: TemplateString (
+ _templateToken_: a |NoSubstitutionTemplate| Parse Node, a |TemplateHead| Parse Node, a |TemplateMiddle| Parse Node, or a |TemplateTail| Parse Node,
+ _raw_: a Boolean,
+ ): a String
+
+
+
+ 1. If _raw_ is *true*, then
+ 1. Let _string_ be the TRV of _templateToken_.
1. Else,
- 1. Let _last_ be the TRV of |TemplateMiddle|.
- 1. Return the list-concatenation of _front_ and « _last_ ».
+ 1. Let _string_ be the TV of _templateToken_.
+ 1. Return _string_.