In order to make sense of the following concrete representations it's helpful to be familiar with the abstract model being implicitly referenced here.