Moved rand-set to use precondition