A sales analyst writes a query that groups orders by customer and calculates the total amount each customer has spent. She now wants to display only those customers whose total spending exceeds 10,000. Which SQL clause should she add to filter these grouped results?