uninfolded

not defined yet