terminalized
not defined yet