reducibilities

not defined yet