Implemented random choice of reduction