Value for different representations
Finally some helper functions

Or as the book calls them abstractions from representations