Problem:
Your method returns a value: you want to place a postcondition on that return value to ensure that the value is valid.
Solution:
Discussion:
