assert
assert x
-- prints an error message if x isn't true.
