diff --git a/docs/Semantics.pdf b/docs/Semantics.pdf
index c27f9f65..ef762fef 100644
Binary files a/docs/Semantics.pdf and b/docs/Semantics.pdf differ
diff --git a/src/Cryptol/Eval/Reference.lhs b/src/Cryptol/Eval/Reference.lhs
index cab0d3db..6841ab4e 100644
--- a/src/Cryptol/Eval/Reference.lhs
+++ b/src/Cryptol/Eval/Reference.lhs
@@ -895,6 +895,18 @@ by corresponding type classes:
 >                        do _ <- evalString s -- evaluate and ignore s
 >                           _ <- x -- evaluate and ignore x
 >                           y
+>
+>   , "compareEq"  ~> VNumPoly $ \m -> pure $
+>                     VNumPoly $ \n -> pure $
+>                     VBit (m == n)
+>
+>   , "compareLt"  ~> VNumPoly $ \m -> pure $
+>                     VNumPoly $ \n -> pure $
+>                     VBit (m < n)
+>
+>   , "compareLeq" ~> VNumPoly $ \m -> pure $
+>                     VNumPoly $ \n -> pure $
+>                     VBit (m <= n)
 >   ]
 >
 >