Provides a mechanism for checking conditions - please refer to the Using assertions documentation page for details.