Thinking about pre and post conditions.