add precondition documents.