Hopefully fixed randomness