Testing the checkerΒΆ

TODO