unretrenched
not defined yet