algebraically
not defined yet