构建正式论证的实践