State
slide
:
The specification of a Library