Конкретные схемы индуктивного вывода разработал