assert termination