 So the idea is that whether Ed runs or not, he saturates the one argument place in the running property, so that we have the proposition that Ed runs. If Ed does run, so that the proposition is true, it is just a basic, brute fact that the proposition is true.