In programming, it’s often the buts in the specification that kill you.