Symbol: remove_many_verify_all_present