They are not but there’s a lot of lifting being done by assuming a “hypervector” (an embedding, to literally everyone else) for a concept. Does such a separable embedding exist and do you have a good way to find it? Seems like one of those things where, oops, it’s just worse than gradient descent on massive functions.