any pre-conditions on the arguments for that method. The assert should be placed at or very soon after the beginning of the method.
