Labeled statements are names bound to blocks of code such as loops and conditional logic which can be referenced to allow flow control which is independent of source order
