Rep Invariant and Abstraction Function

NoSuchKey