Wise Walking on water and developingWalking on water and developing software from a specification are easy if both are frozen!