reductibilities