An ADT is defined to be a mathematical model of a user-defined type along with the collection of all ____________ operations on that model