Figure 5:
State transition diagram of the PAD algorithm.