We rejected this simplification before, principally because it would require a projection rule which was not of our general functionand arguments form; but that consideration no longer holds after names and verbphrase plus name combinations are done away with.