A user should be able to look at a ADT definition and know how many machine words are needed to represent that ADT in the worst case