Think of an abstract data type (ADT) as a job description: a contract of operations, guarantees, and constraints — not the implementation.