decardinalize

not defined yet