When I’m done debugging, and the problem comes from the specs