export stuff for Termination