Assertions: A way of checking that the assumptions made by the program are true, and raising an exception if they are not. Assertions are usually used during the development process to catch logical errors and to check the internal consistency of the program.
