My F4 randomness