A specification, whether formal or less formal, is very different from the source code.