En ella Dijkstra argumenta que el uso irrestricto de "GOTO" debería ser prohibido en lenguajes de alto nivel ya que dificultan el análisis y la verificación de la corrección de los programas (especialmente aquellos que contienen ciclos).