implementation
Figure 1: Model implementation and verification.