“Walking on water and developing software from a specification are easy if both are frozen.”