Declarative form of insertion rules