What is 20 - 7?