> -- Alexey_Donskoy писал(а):
> ... делаем неявные предположения о существенных свойствах исполнителя?!Почему неявные. Очень даже явные. Явные и фундаментальные. Это в чистой математике об областях определения функций (включая предикаты) не принято говорить как о вещах подразумеваемых. А здесь всё явно должно быть.