Address latest harding feedback

Author: michaelfolkson

_topics/en/simplicity.md

@@ -12,29 +12,27 @@ excerpt: >
   **Simplicity** is a work in progress low level programming language designed
   to offer greater flexibility and expressiveness than Bitcoin Script whilst
   allowing you to verify the safety, security and costs of your program. It
-  offers native Merklized scripting, formal semantics and type checking.
-  It is not Turing complete but it can verify the execution of Turing complete
-  programs. Although Simplicity provides certain proofs of correctness,
-  sufficient care will need to be applied in the writing of Simplicity programs
-  to ensure they perform as intended. To use Simplicity directly on the
-  Bitcoin blockchain requires a soft fork and any such proposal is unlikely to
-  be formalized until at least 2022-23. Currently there is Simplicity support
-  for test branches of Bitcoin and Elements and a collection of jets are in
-  development.
+  offers native merklized scripting, formal semantics and type checking. To
+  use Simplicity directly on the Bitcoin blockchain requires a soft fork and
+  any such proposal is unlikely to be formalized until at least 2022. Currently
+  there is Simplicity support for test branches of Bitcoin and Elements.
 
 ## Optional.  Use Markdown formatting.  Multiple paragraphs.  Links allowed.
 extended_summary: |
-  Jets are pre-made building blocks that can be combined to construct
-  Simplicity programs. They have efficient machine-code implementations for raw
-  performance. At its core Simplicity consists of nine primitive operators
-  called combinators where semantics are formally specified. However,
-  implementing Bitcoin functionality at such a low level typically results in
-  large, slow and expensive programs. So instead functionality like hash
-  functions and signature verification are implemented in higher level languages
-  like C which are then proved to be equivalent to the pure Simplicity programs.
-  Assuming Simplicity is soft forked into Bitcoin with sufficient jets at some
-  stage, proposed soft forks like [SIGHASH_ANYPREVOUT][topic SIGHASH_ANYPREVOUT]
-  could be utilized on Bitcoin without needing a separate soft fork.
+  Simplicity includes supports for Jets, pre-made building blocks that can be
+  combined to construct Simplicity programs. They have efficient machine-code
+  implementations for raw performance. At its core Simplicity consists of
+  nine primitive operators called combinators where semantics are formally
+  specified. However, implementing Bitcoin functionality at such a low level
+  typically results in large, slow and expensive programs. So instead
+  functionality like hash functions and signature verification are implemented
+  in higher level languages like C which are then proved to be equivalent to
+  the pure Simplicity programs. Assuming Simplicity is soft forked into Bitcoin
+  with sufficient jets at some stage, proposed soft forks like
+  [SIGHASH_ANYPREVOUT][topic SIGHASH_ANYPREVOUT] could be utilized on Bitcoin
+  without needing a separate soft fork. Although Simplicity provides certain
+  proofs of correctness, care still needs to be applied in the design of any
+  contract protocol.
 
 ## Optional.  Produces a Markdown link with either "[title][]" or
 ## "[title](link)"
@@ -45,23 +43,19 @@ primary_sources:
 ## Optional.  Each entry requires "title", "url", and "date".  May also use "feature:
 ## true" to bold entry
 optech_mentions:
-  - title: OP_CHECKTEMPLATEVERIFY
-    url: /en/newsletters/2019/12/04/#op-checktemplateverify-ctv
-    date: 2019-12-04
-
   - title: Question about Simplicity and static analysis
     url: /en/newsletters/2020/04/29/#how-is-simplicity-better-suited-for-static-analysis-compared-to-script
     date: 2020-04-29
 
-  - title: Simplicity - Next Generation Smart Contracting
+  - title: Transcript on next generation smart contracting with Simplicity
     url: /en/newsletters/2020/05/06/#simplicity-next-generation-smart-contracting
     date: 2020-05-06
 
-  - title: Question about implementing Taproot with Simplicity
+  - title: Question about implementing taproot with Simplicity
     url: /en/newsletters/2020/07/29/#could-we-skip-the-taproot-soft-fork-and-instead-use-simplicity-to-write-the-equivalent-of-taproot-scripts
     date: 2020-07-29
 
-  - title: BIP-Taproot
+  - title: Transcript on implementing Simplicity as a taproot leaf version
     url: /en/newsletters/2020/08/05/#bip-taproot
     date: 2020-08-05