einsertion rule