canonical_insertion