В чем смысл предположения в scala по сравнению с утверждением?

Scala, кажется, определяет 3 вида утверждений: assert , ] требуют и предполагают .

Насколько я понимаю, разница (по сравнению с общим утверждением) require заключается в том, что он специально предназначен для проверки входных данных (аргументов, входящих сообщений и т. Д.). И что тогда означает предположить ?