insertion rules