aliás, este ficheiro até podia ser só:
```
BookState = [
  'available',
  'lent',
  'unavailable'
]
```