Symbol: add_base_and_hole