Figure 2: The checker implementation.
Back to Article
