Explicit preconditions in comments.