or it's a double thumb notch