unweakened

not defined yet