Yup. Referring to knots by their ABoK numbers is also more practical than by their wildly varying names.