What is 8 − 7