+ Text Entry  [12:02]
+ Learn TLA+  cmts  [19:02]