Symbol: is_subsection_map_empty