Document some preconditions