Footnote
This property obviously does not apply when the
randomNumber
primitive is used. See a forthcoming paper for the property's proof.