subtractions
not defined yet