Условие, которое порождает правило, не то же самое, что условие, в котором правило рожает.