Mention this in the list of assumptions in the comment.