Separable verification now works.