We do so by appeal to the semantic definition and the assumption we just made.
我们求助于语义的定义和我们所做的假定来完成。