negative 17 minus negative 9