10.12 Optional: Assumptions