To Think About
Requirements should state what a system should do, without stating how it should do it.
Why is this distinction useful?