what if we scrapped nested paths :s/\//-/g, and ONLY had equivalence classes. the original use case for jedi for equivalence classes was that jedi would be a category, and the border of == and =! would be who counts as a jedi. so maybe equivalence class is not the right word, because that implies quotient. like the border between core movies and extended universe. like vader==luke==obi-wan, vader != ashoka, luke != mara-jade, etc. but then, luke could be luke from the bible, or luke skywalker. so that is a synonym problem, which is different from the border adjudication problem that i imagine with the == and !=.