substruction

not defined yet