The idea is that the spec is somehow compressed in comparison to the code.