What is 8 - 7?