should we also have non-symbolik names?