half-up braids.