Definitions and first part of gap insert explanation