Even the most verbose specifications too often have glaring ambiguities that are only found during implementation (or worse, interoperability testing!)