Изменения

Эта секция проверяет факт на его соответствие действительности и возвращает логическое '''да''' или '''нет'''.

#выполнение этой секции может происходить многократно;

#в этой секции нельзя менять состояния объектов и переменных (за исключением переменных самой функции);