...d of facts, not feelings. So, what's the evidence for that? The evidence is the formal specifications. A formal specification is not a client; it's a code-independent, implementatio...