Оператор логическое, используется в программе для проверки состояния, что, если программа работает корректно, всегда следует оценить как true; в противном случае программа обычно заканчивается соответствующее сообщение об ошибке. Утверждения используются для отладки программ и для документирования, как программа должна работать.