analytically
not defined yet