symbolically

not defined yet