Handbook
Glossary
Assertions
Some words to make assertions easier to enforce:
assert
( got expect -- * )
assert=
( a b -- )