from the related work, properly describing the recursive process of computing bounds on terms in the expression E