Sanhedrin80- When they issue the warning, do the witnesses have to specify which penalty the violator will get