It's so easy to make a specification which can't be implemented (or shouldn't be). Very often, I go back and tweak the specification, after I start the implementation and figure out which assumptions are wrong ...