Name the exact structure and the operations it must support — vague requests get vague implementations. Ask for the invariant explanation; it is the learning payoff.