Initial core code
Insertions abstractions