Patterns among a sequence of instructions can be generalized into loops.