terminations
not defined yet