calculational
not defined yet