De-implemented Random