Choice function variables can be bound existentially at any clausal level without movement, explaini...