Product of updating ADT