frozenness

not defined yet