Move problem spec to the implementation cheapter