State


slide: The specification of a Library