⁴In a final release of this code, we will use a pseudo-random function here, rather than a hash.