Then how do you know the abstractions are sound?

• 那您如何知道您进行的抽象是合理的呢？