What does this add to our understanding of the types? Does it clarify any peculiarities?