Answer to Question 08C-4

Yes. The contract says just what the function returns and how the parameters affect what it returns.