reductibility