How do you simplify 9-(x+7)?