Docs for precondition.