一个开始证实的逻辑