SpecSheriff

The map of the specification