 Recall that this sentence expresses the proposition that results from applying PLUG1 to Ed and the property of running. The output is Ed saturating (“plugged into”) the one argument place of the property of running. There are two things to notice about this proposal. First, it is one of the constituents of the proposition, the running property, that binds the constituents of the proposition together. The proposition is held together in virtue of Ed “plugging” the one argument place in the running property. Second, the proposition just is Ed “plugging”/possessing that property!