nonweakness

not defined yet