facts

Added fact using RNG