we will consider an expression to have terminated