mathematically

not defined yet