constantness
not defined yet