terminalization

not defined yet