In Computer Science, there is a theory called the structured program theorem. This theory says that any program can be written in such a way that things are done with "functions" and "methods" (smaller sub-programs) instead of in one very big program and "goto" statements. The theory proves that the goto statement is not needed to write programs.