Actually, we don't need that. Simplify rules so that they work everywhere.