9.10 Optional: Assumptions