We provide a detailed analysis of the insertion operations for
an ER-model represented in terms of the map calculus. This continues
our previous study of compiling an ER model into the abstract setting
of what might be called logic without variables.
