diff --git a/papers/hatra21/bibliography.bib b/papers/hatra21/bibliography.bib
index 365ca575..3ba88f72 100644
--- a/papers/hatra21/bibliography.bib
+++ b/papers/hatra21/bibliography.bib
@@ -1,7 +1,28 @@
+@Misc{Roblox,
+  author =    {Roblox},
+  title =     {What is {Roblox}},
+  year = 2021,
+  url = {https://corp.roblox.com},
+}
+
 @Misc{Luau,
   author =    {Roblox},
-  title =        {The Luau Programming Language},
-  year = 2020,
+  title =        {The {Luau} Programming Language},
+  year = 2021,
   url = {https://luau-lang.org},
 }
 
+@Misc{Lua,
+  author =    {Lua.org and {PUC}-Rio},
+  title =        {The {Lua} Programming Language},
+  year = 2021,
+  url = {https://lua.org},
+}
+
+@Misc{AllEducators,
+  author =       {Roblox},
+  title =        {Roblox Education: All Educators},
+  year =         {2021},
+  url =          {https://education.roblox.com/en-us/educators},
+}
+
diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf
index 488a91af..d24dafa7 100644
Binary files a/papers/hatra21/hatra21.pdf and b/papers/hatra21/hatra21.pdf differ
diff --git a/papers/hatra21/hatra21.tex b/papers/hatra21/hatra21.tex
index 5a791956..f6e772a6 100644
--- a/papers/hatra21/hatra21.tex
+++ b/papers/hatra21/hatra21.tex
@@ -27,16 +27,26 @@
 
 \section{Introduction}
 
-The Luau Programming Language~\cite{Luau}
-is the scripting language used by developers of Roblox
-experiences.
+The Roblox~\cite{Roblox} platform allows anyone to create shared,
+immersive, 3D experiences.  At the time of writing, there are
+approximately eight million experiences available on Roblox, created
+by eight million developers.  Roblox developers are often young, for
+example there are over 200 Roblox coding camps in over 65 countries
+listed at~\cite{AllEducators}.
+
+The Luau programming language~\cite{Luau} is the scripting language
+used by developers of Roblox experiences. Luau is derived from the Lua
+programming language~\cite{Lua}, with additional capabilities,
+including a type inference engine.
+
+This paper will discuss some of the goals of the Luau type system, and
+why those goals are slightly different from other type systems.
 
 \section{Infallible types}
 \section{Strict types}
 \section{Nonstrict types}
 \section{Conclusions}
 
-\bibliographystyle{ACM-Reference-Format}
-\bibliography{bibliography}
+\bibliographystyle{ACM-Reference-Format} \bibliography{bibliography}
 
 \end{document}