Document preconditions.