reducibilities