Let me make everything clear. So what we have right over here in purple, this, this, and this are the same things. One expressed concretely, one expressed abstractly. This, this, and this are the same thing, expressed concretely and abstractly. And then finally, this and this are the same thing, expressed concretely and abstractly. But then we're done. All we have to do to be done is to just simplify this.