Comment by @vitalik • Hey

sorry should have been * 3 instead of / 3