But if you see programming as creating the semantics of software, it's unclear whether being limited to design documents is satisfactory.