Spec model until beginning of in_body insertion mode