This is the correct difference, but it has not been simplified.