From 8706ff0c9290b15153cba0a5cf02b749f46239f5 Mon Sep 17 00:00:00 2001
From: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
Date: Mon, 26 Sep 2022 13:52:57 -0700
Subject: [PATCH] Add some symmetry.

---
 docs/_pages/typecheck.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_pages/typecheck.md b/docs/_pages/typecheck.md
index ff38e9ef..5a541651 100644
--- a/docs/_pages/typecheck.md
+++ b/docs/_pages/typecheck.md
@@ -102,7 +102,7 @@ end
 
 ## `never` type
 
-`never` is the _dual_ of `unknown`, meaning that there doesn't exist a value that inhabits the type `never`. `never` is useful in many scenarios, and one such use case is when type refinements proves it impossible:
+`never` is also said to be the _bottom_ type, meaning there doesn't exist a value that inhabits the type `never`. In fact, it is the _dual_ of `unknown`. `never` is useful in many scenarios, and one such use case is when type refinements proves it impossible:
 
 ```lua
 local x = unknown()