Reference for Sanhedrin 90:3

אלא דמדלי לה בהדי חבריה ושדי לה איהו כי היכי דתיתי מרזיא:

BUT IF NOT, HE WAS STONED BY ALL ISRAEL, etc. But has it not been taught: It [the stoning] was never actually repeated?<span class="x" onmousemove="('comment',' Death having always resulted from the first operation. ');">⁵</span> — Do I then say that it was done? I merely state what might be necessary!

Jastrow