_has_penetrated stores dof_id_types