reducibility

not defined yet