nonsymbolicalness

not defined yet