mathematization

not defined yet