Pero a la mayoría de los programes seria mejor un nombre de rutina como codice_45 y la postcondición no prometía una conexión, dejando a quien la llame el hecho de tomar las medidas apropiadas si la conexión no se ha abierto.