semihardness

not defined yet