subtractor
not defined yet