degeneralize
not defined yet