refine and document Core.insert