Clients must know...
everything he or she needs to know in order to use elements of the type
nothing else (regarding the ADT :-)