[voidlogic]

>Formal verification would not help if the formal or informal design specs called for unauthenticated telnet

This is why I qualified by question saying such.