наука, занимающаяся стохастической проверкой автоматизированных правил наведения злых чар", (С.Лем).