added randomexhaustive stuff