Tag: how many types of braids are there