The confusion is using the same namespace for argument slots and variables. It might have been clearer if, for example, Leibniz would have used Greek letters alpha and beta instead of x and y.