Walking on water and developing software from a specification are easy

if both are frozen