Goto
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.