The prime directive of Abstract Data Types