unweakening

not defined yet