So I'm pretty sure the interior_facet domain doesn't exist in the extruded case, right?